Require Import RocqOfRust.RocqOfRust.

Definition EXP : Z := 10.
